Optimal. Leaf size=74 \[ -\frac{a+b \log \left (c (d+e x)^n\right )}{g (f+g x)}+\frac{b e n \log (d+e x)}{g (e f-d g)}-\frac{b e n \log (f+g x)}{g (e f-d g)} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.0284328, antiderivative size = 74, normalized size of antiderivative = 1., number of steps used = 4, number of rules used = 3, integrand size = 22, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.136, Rules used = {2395, 36, 31} \[ -\frac{a+b \log \left (c (d+e x)^n\right )}{g (f+g x)}+\frac{b e n \log (d+e x)}{g (e f-d g)}-\frac{b e n \log (f+g x)}{g (e f-d g)} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 2395
Rule 36
Rule 31
Rubi steps
\begin{align*} \int \frac{a+b \log \left (c (d+e x)^n\right )}{(f+g x)^2} \, dx &=-\frac{a+b \log \left (c (d+e x)^n\right )}{g (f+g x)}+\frac{(b e n) \int \frac{1}{(d+e x) (f+g x)} \, dx}{g}\\ &=-\frac{a+b \log \left (c (d+e x)^n\right )}{g (f+g x)}-\frac{(b e n) \int \frac{1}{f+g x} \, dx}{e f-d g}+\frac{\left (b e^2 n\right ) \int \frac{1}{d+e x} \, dx}{g (e f-d g)}\\ &=\frac{b e n \log (d+e x)}{g (e f-d g)}-\frac{a+b \log \left (c (d+e x)^n\right )}{g (f+g x)}-\frac{b e n \log (f+g x)}{g (e f-d g)}\\ \end{align*}
Mathematica [A] time = 0.0657284, size = 57, normalized size = 0.77 \[ \frac{\frac{b e n (\log (d+e x)-\log (f+g x))}{e f-d g}-\frac{a+b \log \left (c (d+e x)^n\right )}{f+g x}}{g} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [C] time = 0.077, size = 354, normalized size = 4.8 \begin{align*} -{\frac{b\ln \left ( \left ( ex+d \right ) ^{n} \right ) }{g \left ( gx+f \right ) }}-{\frac{-i\pi \,bdg{\it csgn} \left ( ic \right ){\it csgn} \left ( i \left ( ex+d \right ) ^{n} \right ){\it csgn} \left ( ic \left ( ex+d \right ) ^{n} \right ) -i\pi \,bef{\it csgn} \left ( i \left ( ex+d \right ) ^{n} \right ) \left ({\it csgn} \left ( ic \left ( ex+d \right ) ^{n} \right ) \right ) ^{2}+i\pi \,bdg{\it csgn} \left ( ic \right ) \left ({\it csgn} \left ( ic \left ( ex+d \right ) ^{n} \right ) \right ) ^{2}+i\pi \,bdg{\it csgn} \left ( i \left ( ex+d \right ) ^{n} \right ) \left ({\it csgn} \left ( ic \left ( ex+d \right ) ^{n} \right ) \right ) ^{2}+i\pi \,bef \left ({\it csgn} \left ( ic \left ( ex+d \right ) ^{n} \right ) \right ) ^{3}-i\pi \,bdg \left ({\it csgn} \left ( ic \left ( ex+d \right ) ^{n} \right ) \right ) ^{3}+i\pi \,bef{\it csgn} \left ( ic \right ){\it csgn} \left ( i \left ( ex+d \right ) ^{n} \right ){\it csgn} \left ( ic \left ( ex+d \right ) ^{n} \right ) -i\pi \,bef{\it csgn} \left ( ic \right ) \left ({\it csgn} \left ( ic \left ( ex+d \right ) ^{n} \right ) \right ) ^{2}+2\,\ln \left ( ex+d \right ) begnx-2\,\ln \left ( -gx-f \right ) begnx+2\,\ln \left ( ex+d \right ) befn-2\,\ln \left ( -gx-f \right ) befn+2\,\ln \left ( c \right ) bdg-2\,\ln \left ( c \right ) bef+2\,adg-2\,aef}{ \left ( 2\,gx+2\,f \right ) g \left ( dg-fe \right ) }} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A] time = 1.15281, size = 115, normalized size = 1.55 \begin{align*} b e n{\left (\frac{\log \left (e x + d\right )}{e f g - d g^{2}} - \frac{\log \left (g x + f\right )}{e f g - d g^{2}}\right )} - \frac{b \log \left ({\left (e x + d\right )}^{n} c\right )}{g^{2} x + f g} - \frac{a}{g^{2} x + f g} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A] time = 1.78729, size = 215, normalized size = 2.91 \begin{align*} -\frac{a e f - a d g -{\left (b e g n x + b d g n\right )} \log \left (e x + d\right ) +{\left (b e g n x + b e f n\right )} \log \left (g x + f\right ) +{\left (b e f - b d g\right )} \log \left (c\right )}{e f^{2} g - d f g^{2} +{\left (e f g^{2} - d g^{3}\right )} x} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F(-2)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Exception raised: NotImplementedError} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A] time = 1.28533, size = 150, normalized size = 2.03 \begin{align*} \frac{b g n x e \log \left (g x + f\right ) - b g n x e \log \left (x e + d\right ) + b f n e \log \left (g x + f\right ) - b d g n \log \left (x e + d\right ) - b d g \log \left (c\right ) + b f e \log \left (c\right ) - a d g + a f e}{d g^{3} x - f g^{2} x e + d f g^{2} - f^{2} g e} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]